Économie des conventions et développement territorial

Éditorial: Humour, informatique et économie

Éditorial: Informatique, économie et compagnie (suite1)

Éditorial: Informatique, économie et compagnie (suite 3)

Diasporas scientifiques et co - développement des pays d ’ origine et d ’ accueil . Une approche

The increasing international mobility of professionals from various latitudes (World Bank, 2016 and UIS-UNESCO, 2014) clearly shows many questions associated with the insertion of this migration in the target countries and the ties with the country of origin. To date, studies addressing the relationship between mobility, migration and diaspora lead to different conceptual and methodological app...

Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques)

The research for this thesis has followed two main paths: the one of probability logics and the other of type systems and logical frameworks, bringing them together through interactive theorem proving. With the development of computer technology and the need to capture real-world dynamics, situations, and problems, reasoning under uncertainty has become one of the more important research topics...